kind{-}rename(${\it ra}$;${\it rt}$;$k$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$kindcase($k$; $a$.locl(${\it ra}$($a$)); $l$,${\it tg}$.rcv($l$,${\it rt}$(${\it tg}$)) )